var str="hello"
if str.len > 0:
  var str = "world"
  echo str
echo str
